Nuprl Lemma : m-sys-null-compatible-right 0,22

M:Dsys. M ||  
latex


DefinitionsDsys, a:A fp B(a), x:AB(x), x:AB(x), Type, MsgA, , A || B, A ||+ B, P & Q, M1 || M2, ma-frame-compatible(A;B), , Id, x:AB(x), f(a), t  T
Lemmasma-empty-frame-compatible-right, ma-empty-compatible-right, Id wf, msga wf

origin